Characterizing the interpretation of set theory in Martin-L¨of type theory Sergei Tupailo∗ Michael Rathjen

Source URL: www1.maths.leeds.ac.uk

The Strength of Some Martin–L¨of Type Theories Michael Rathjen∗† Abstract One objective of this paper is the determination of the proof–theoretic strength of Martin– L¨

Source URL: www1.maths.leeds.ac.uk

Real Exchange Rates and Sectoral Productivity in the Eurozone Martin Berka, Michael B. Devereux and Charles Engel∗ November 3, 2015 Abstract

Source URL: www.ssc.wisc.edu

• Economy
• Economics
• National accounts
• Economic indicators
• BalassaSamuelson effect
• Penn World Table
• Productivity
• Exchange rate
• Euro
• Gross domestic product
• New Keynesian economics
• Purchasing power parity

MACHINE-ASSISTED CONCURRENT PROGRAMMING Martin Vechev ETH Zürich (joint work with Eran Yahav, Greta Yorsh, Michael Kuperstein, Nayden Nedev, Nedyalko Prisadnikov, Veselyn Raychev)

Source URL: www.srl.inf.ethz.ch

• Edsger W. Dijkstra
• Curr
• Algorithm
• Goto
• Programming Language Design and Implementation

China’s Second World of Poetry: The Sichuan Avant-Garde, by Michael Martin Day

Source URL: leiden.dachs-archive.org

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime Roman Kontchakov1 , Martin Rezk2 , Mariano Rodríguez-Muro3 , Guohui Xiao2 , and Michael Zakharyaschev1 1

Source URL: www.ghxiao.org

Surrogate loss functions, divergences and decentralized detection XuanLong Nguyen Department of Electrical Engineering and Computer Science U.C. Berkeley Advisors: Michael Jordan & Martin Wainwright

Source URL: dept.stat.lsa.umich.edu

• Mathematical optimization
• Statistics
• Analysis
• Mathematical analysis
• Statistical distance
• Operations research
• KullbackLeibler divergence
• Convex analysis
• Divergence
• Convex optimization

KBID: Kerberos Bracelet Identification (Short Paper) Joseph Carrigan, Paul Martin, and Michael Rushanan Johns Hopkins University {joseph.carrigan,pmartin,mrushan1}@jhu.edu Abstract The most common method for a user to g

Source URL: fc16.ifca.ai

Rozpis závěrečných zkoušek EL3,ST3 Pondělí Kříž David Šebesta Jakub Petržela Michael Sekený Martin

Source URL: www.zamekkurim.cz

SmartCard Prototype Neal Altman, Michael K. Martin, Dawn Robertson and Kathleen M. Carley September 2009 CMU-ISR

Source URL: reports-archive.adm.cs.cmu.edu